Solve roots for 4x4 matrix in proof of Proposition 2.2: